Nuprl Definition : m-sys-join
11,40
postcript
pdf
(
A
B
)(
i
) ==
A
(
i
)
B
(
i
)
latex
Definitions
x
.
A
(
x
)
,
M1
M2
,
f
(
a
)
FDL editor aliases
m-sys-join
origin
B)(i) == A(i) B(i) B)(i) == A(i) B(i) 
x.A(x) M2